An Examination of Requirements Specification Languages
نویسندگان
چکیده
We examine the features which are most desirable in requirements specification languages, and then use the framework to review six established languages: PSL, SADT, EDDA, SAMM, HOS and RSL.
منابع مشابه
Web Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملAn automatic test case generator for evaluating implementation of access control policies
One of the main requirements for providing software security is the enforcement of access control policies which aim to protect resources of the system against unauthorized accesses. Any error in the implementation of such policies may lead to undesirable outcomes. For testing the implementation of access control policies, it is preferred to use automated methods which are faster and more relia...
متن کاملPreliminary Study to Empirically Investigate the Comprehensibility of Requirements Specifications
This paper presents a pilot study to test plans for an empirical study, which will compare the comprehensibility of two specifications: a formal specification and an informal specification. The two documents used in the pilot study implemented the same logic, namely a portion of the Irish Electoral system. The “informal specification” was taken directly from the legal definition of the count ru...
متن کاملAn Empirical Investigation of the Defect Detection Capabilities of Requirements Specification Languages
It is a frequently reported effect of applying requirements specification languages that the formalization of informal requirements leads to the detection of defects such as omissions, conflicts, and ambiguities. However, there is little quantitative data available on this effect. This paper presents an empirical study with requirements specification languages, which addresses two research ques...
متن کاملA Vision of an Ultralightweight Requirements Modeling Language
Despite all efforts in creating and disseminating requirements modeling languages, natural language is still the dominant language for writing requirements specifications in practice. Furthermore, when documenting early requirements, natural language (in combination with pictures) outperforms today’s requirements modeling languages. In this paper, we present a vision and research roadmap for an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Comput. J.
دوره 34 شماره
صفحات -
تاریخ انتشار 1991